منابع مشابه
The Second Rewrite Engines Competition
The Second Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated five systems, namely ASF+SDF, Maude, Stratego/XT, TermWare, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions.
متن کاملThe Third Rewrite Engines Competition
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.
متن کاملMultiple presents: how search engines rewrite the past
Internet search engines function in a present which changes continuously. The search engines update their indices regularly, overwriting webpages with newer ones, adding new pages to the index and losing older ones. Some search engines can be used to search for information on the internet for specific periods of time. However, these ‘date stamps’ are not determined by the first occurrence of th...
متن کاملDemons, Engines and the Second Law
O ne manifestation of the sec ond law of thermodynamics is that such devices as refrigera tors, which create inequalities of tem perature, require energy in order to operate. Conversely, an existing in equality of temperature can be ex ploited to do useful work-for exam ple by a steam engine, which exploits the temperature difference between its hot boiler and its cold condenser. Yet in 1...
متن کاملRewrite, Rewrite, Rewrite
We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in nitary theories. We also consider su cient completeness of hierarchical systems. Is there no limit? |Job 16:3
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.05.025